Distributed Similarity Search in High Dimensions Sebastian Michel Ecole Polytechnique F´ ed´ erale de Lausanne (EPFL)

Source URL: qid3.mmci.uni-saarland.de

Reconciling molecular phylogenies with the fossil record Hélène Morlona,b,1, Todd L. Parsonsb, and Joshua B. Plotkinb a Center for Applied Mathematics, Ecole Polytechnique, 91128 Palaiseau, France; and bBiology Depart

Source URL: www.biologie.ens.fr

• Biology
• Evolutionary biology
• Phylogenetics
• Molecular evolution
• Evolution
• Speciation
• Computational phylogenetics
• Molecular clock
• Coalescent theory
• Molecular phylogenetics
• Extinction
• Macroevolution

Induction for SMT Solvers Andrew Reynolds and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch

Source URL: lara.epfl.ch

Privacy in the Genomic Era MUHAMMAD NAVEED, University of Illinois at Urbana-Champaign ERMAN AYDAY, Bilkent University ELLEN W. CLAYTON, Vanderbilt University JACQUES FELLAY, Ecole Polytechnique Federale de Lausanne CARL

Source URL: seclab.illinois.edu

– 1– B 0 –B 0 MIXING Updated April 2014 by O. Schneider (Ecole Polytechnique F´ed´erale de Lausanne). There are two neutral B 0 –B 0 meson systems, B 0d –B 0d and B 0s –B 0s (generically denoted B 0q –B 0

Source URL: www-pdg.lbl.gov

Oberseminar Analysis und Theoretische Physik Dr. Luca Rizzi CMAP, École Polytechnique, Paris

Source URL: www.ifam.uni-hannover.de

École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par

Source URL: cedeela.fr

• Mathematical logic
• Mathematics
• Logic
• Boolean algebra
• First-order logic
• Propositional calculus
• FO
• Quantifier
• Boolean satisfiability problem
• True quantified Boolean formula
• Model theory
• Peano axioms

Advanced usage of Monte Python Benjamin Audren ´ Ecole Polytechnique F´ ed´

Source URL: lesgourg.web.cern.ch

Compactifications on Hyperbolic Spaces Domenico Orlando CPHT - École polytechnique - Palaiseau (France) VUB - Bruxelles (Belgium) October 9th, 2006

Source URL: wsrtn06.na.infn.it

LOGO_ECOLE_POLYTECHNIQUE_horizontal_cmjn

Source URL: www.mathematik.uni-muenchen.de